#include "sysCall.h"

#define PRINT_ADDR 0x001006e0

static void switchToKernel ();
static void swtichToUser ();

void switchToKernel ()
{
  // we always knows the default value of kernel gdt

  // switch the user des out

  // set the kernel

  return;
}

void switchToUser ()
{
  return;
}

void uprint (char *s, ...)
{
  switchToKernel ();
  typedef void (*tyPrint) (char *, ...);
  tyPrint print = (tyPrint) PRINT_ADDR;
  print (s);
  switchToUser ();
}
